Liste de symboles logiques

En logique, un ensemble de symboles est couramment utilisé pour exprimer la représentation logique. Le tableau suivant répertorie de nombreux symboles ainsi que leur nom, les façons possibles de le lire et le domaine connexe des mathématiques. En outre, la troisième colonne contient une définition informelle, la quatrième colonne donne un court exemple, la cinquième donne leur code Unicode et la sixième et la septième la référence numérique ou textuelle utilisé dans les documents HTML (voir entité HTML)^[1]. La dernière colonne fournit le symbole LaTeX.